1. Algebraic complexity theory: with the collaboration of Thomas Lickteig
پدیدآورنده: Burgisser, Peter
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computational complexity,، Machine theory
رده :
QA
267
.
B813
1997
2. Algorithmic information theory
پدیدآورنده : Gregory J. Chaitin
موضوع : Machine theory,Computational complexity,LISP (Computer program language)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Algorithmic information theory
پدیدآورنده: Gregory J. Chaitin
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Algorithms,، Machine theory,، Computational complexity,، LISP )Computer program language(
رده :
QA
9
.
58
.
C48
1987
4. Algorithmic information theory
پدیدآورنده: / Gregory J. Chaitin
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Machine theory,Computational complexity,LISP (Computer program language)
رده :
E-BOOK
5. Aspects of computation and automata theory with applications
پدیدآورنده: / editors Noam Greenberg ... [et al.]
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Machine theory.,Computational complexity.,Recursion theory.
6. Automata, computability and complexity :
پدیدآورنده: Elaine Rich.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computable functions.,Computational complexity.,Electronic data processing.,Machine theory.,Computable functions.,Computational complexity.,Electronic data processing.,Machine theory.
رده :
QA267
.
R53
2008
7. Classical and quantum computation /
پدیدآورنده: A. Yu. Kitaev, A.H. Shen, M.N. Vyalyi ; [translated from the Russian by Lester J. Senechal]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity,Machine theory,Quantum computers
رده :
QA267
.
K5713
2002
8. Classical and quantum computation, Klassicheskie i kvantovye vychisleniiIa.
پدیدآورنده: Kitaev, Alexei Yu
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Machine theory,، Computational complexity,، Quantum computers
رده :
QA
267
.
K578
2002
9. Complex systems dynamics; an introduction to automata network
پدیدآورنده: Weisbuch, Gerard
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Computational complexity ► Machine theory
رده :
511
W426c
10. Complex systems dynamics : an introduction to automata networks
پدیدآورنده: Weisbuch, G.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Computational complexity,، Machine theory
رده :
QA
267
.
7
.
W4513
1990
11. Computability, Complexity, and Languages
پدیدآورنده: \ Martin D. Davis, Elaine J. Weyuker
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Machine theory,Computational complexity,Formal languages,نظریه ماشین,پیچیدگی محاسباتی,زبانهای صوری
رده :
E-Book
,
12. Computability, complexity, and languages
پدیدآورنده: / Martin D. Davis, Elaine J. Weyuker
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Machine theory,Computational complexity,Formal languages
رده :
QA
267
.
D38
1983
13. Computability, complexity, and languages
پدیدآورنده: / Martin D. Davis, Ron Sigal, Elaine J. Weyuker
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Machine theory,Computational complexity,Formal languages
رده :
QA
267
.
D38
1994
14. Computability, complexity, and languages :
پدیدآورنده: Martin D. Davis, Ron Sigal, Elaine J. Weyuker
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity,Formal languages,Machine theory
رده :
QA267
.
D38
1994
15. Computability, complexity, and languages
پدیدآورنده: / Martin D. Davis, Ron Sigal, Elaine J. Weyuker
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Machine theory,Computational complexity,Formal languages
رده :
QA
267
.
D38
1994
16. Computability, complexity, and languages
پدیدآورنده: / Martin D. Davis, Elaine J. Weyuker
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Machine theory,Computational complexity,Formal languages
رده :
QA267
.
D38
1983
17. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده: Davis, Martin
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D38
1994
18. Computability, complexity, and languages fundamentals of theoretical computer science
پدیدآورنده: Davis, Martin
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D38
19. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده: Martin D. Davis, Ron Sigal, Elaine J. Weyuker
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D285C6
1994
20. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده: Martin D. Davis, Elaine J. Weyuker
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D285C6
